-
1 тождественно истинное высказывание
Mathematics: identically true propositionУниверсальный русско-английский словарь > тождественно истинное высказывание
-
2 тождественно истинное высказывание
Русско-английский научно-технический словарь Масловского > тождественно истинное высказывание
-
3 identically true proposition
Математика: тождественно истинное высказываниеУниверсальный англо-русский словарь > identically true proposition
-
4 identically true proposition
English-Russian scientific dictionary > identically true proposition
-
5 allgemeingültige Aussageform
тождественно-истинное (всегда истинное) высказываниеНемецко-русский математический словарь > allgemeingültige Aussageform
См. также в других словарях:
Высказывание (логика) — У этого термина существуют и другие значения, см. Высказывание. Высказывание термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки … Википедия
Тавтология (логика) — У этого термина существуют и другие значения, см. Тавтология. Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов. Содержание 1 Примеры тавтологий 1.1 … Википедия
Тавтология — Тавтология: Тавтология (риторика) (от др. греч. ταυτολογία) риторическая фигура, представляющая собой повторение одних и тех же или близких по смыслу слов. Тавтология (логика) тождественно истинное высказывание, инвариантное… … Википедия
Тавтология — (от греч. tauto – то же самое, logos – слово) – повторение того же самого другими словами, не уточняющими смысла. В логике тавтология – тождественно истинное высказывание … Философия науки. Эпистемология. Методология. Культура
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ — парадоксы (антиномии), обусловленные неограничиваемым употреблением нек рых лингвистич. и семантич. понятий, напр. истинный , самоприменимый или самоотносимый , определяемый и др. П. с. называются также иногда синтаксическими или эпистемоло г и ч … Философская энциклопедия
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
ТАВТОЛОГИЯ — в обычном языке: повторение того, что уже было сказано. Напр.: «Стол есть стол». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромождающего речь и затрудняющего общение.… … Философская энциклопедия
ЕВХАРИСТИЯ. ЧАСТЬ II — Е. в православной Церкви II тысячелетия Е. в Византии в XI в. К XI в. визант. богослужение приобрело почти тот вид, какой оно сохраняло в правосл. Церкви все последующее тысячелетие; в его основе лежала древняя к польская традиция, значительно… … Православная энциклопедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия